Enum isotope_parser::ast::Expr[][src]

pub enum Expr {
Show variants Ident(SmolStr), Var(u32), App(App), Lambda(Lambda), Pi(Pi), Universe(Universe), Enum(Enum), Variant(SmolStr), Boolean(bool), Natural(BigUint), Bool, Unit, Case(Case), Annotated(Annotated), Scope(Scope),
}
Expand description

An isotope expression

Variants

Ident(SmolStr)

An identifier

Var(u32)

A variable index

App(App)

A function application

Lambda(Lambda)

A lambda function

Pi(Pi)

A dependent function type

Universe(Universe)

A typing universe

Enum(Enum)

An enumeration

Variant(SmolStr)

A variant

Boolean(bool)

A boolean value

Natural(BigUint)

A natural number

Bool

The type of booleans

Unit

The unit type

Case(Case)

A case expression

Annotated(Annotated)

An annotated term

Scope(Scope)

A scope

Implementations

Prettyprint an expression

Convert an expression to a prettyprinted string

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.